$\forall$${\it the\_w}$:World, $l$:IdLnk, $i$:Id, $a$:Action($i$).
\\[0ex]($\uparrow$isrcv($l$;$a$)) $\Rightarrow$ \{($\neg$($\uparrow$isnull($a$))) \& ($\uparrow$isrcv(kind($a$))) \& lnk(kind($a$)) = $l$\}